The Doctrine Equivalence Came