coequates
not defined yet