Practice 12.1
Equivalence