Pātuhitia tēnei: Symbolic logic