~ 6.3 ~

Reasoning about Contexts with Tape Diagrams (Part 2)