Text this: Logic machines and diagrams /