~ 6.2 ~

Reasoning about Contexts with Tape Diagrams (Part 1)