naming conventions for equivalences