coequalisers again