Template:Diagrams in logic