File:Equational Inference Rule Weed bc.png