coequalize

not defined yet