7.6.2 Reasoning about Contexts with Tape Diagrams (Part 1)