Text this: Line diagrams for logic :