File:Triangle diagram of rewrite rule application svg.svg Source: en.wikipedia.org/wiki/File:Triangle_diagram_of_rewrite_rule_application_svg.svg