coequating

not defined yet