File:Equational Inference Rule Quit ((q)).png