How diagrams help us