equability

not defined yet