implement simple equivalence spec