coequalness

not defined yet