File:Equational Inference Bar Delete a, b, c.png