Pātuhitia tēnei: Logic and arithmetic :