Title: Logic machines and diagrams