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