coequality

not defined yet