File:Equational Inference Rule Reflect b, c.png