Pātuhitia tēnei: Logical reasoning with diagrams