coequals

not defined yet