File:Equational Inference Rule Reflect ad(bc).png