File:Equational Inference Marquee QED.png