File:Equational Inference Rule Quit abcd.png