modifying the definition of equivalence of options.