File:Equational Inference Band Delete p.png