How diagrams solve problems