Pātuhitia tēnei: Reasoning and formal logic :