equatability

not defined yet