Read GEB: Day 08: Proof