better names & symmetry for equiv