equableness
not defined yet