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