File:Equational Inference Bar Distribute (abc).png