construction,qualifier_hr
coequalizer,two parallel arrows
equalizer,two parallel arrows