File:Equational Inference Band Cancel (( )).png