7.6.3 Reasoning about Contexts with Tape Diagrams (Part 2)