equalness

not defined yet