equivalencies

not defined yet