File:Equational Inference Banner QED.png