File:K-calculus_diagram_for_composition.svg loading ...