6.2 Reasoning about contexts with Tape Diagrams (Part 1)