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