Equivalence and options