File:Equational Inference Bar Collect ab, ac, bc.png