finish coequalizer.v