File:Equational Inference Rule Weed a, d.png