equivalence

not defined yet