Pātuhitia tēnei: Elements of symbolic logic