Read GEB: Day 07: Propositional reasoning