Compositional Equivalence, The Law of