File:Equational Inference Rule Collect p.png