Equivalence and Reference
