Diagrams have been central to scientific and technological development since methods to print them in mass quantities were invented. Yet in modern logic, the language of choice has been the symbolic ...