Equivalences

Work in progress…