equivalencing

not defined yet