File:Equational Inference Bar Quit (a), (b), (c).png