File:Equational Inference Band Collect p.png