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