coequals: