Functional Equivalence Theory