coequal

not defined yet