equivalences

not defined yet