Title: Formalizing Reasoning With Visual & Diagrammatic Representations
Subjects: Reasoning