Pātuhitia tēnei: Logic and Proof Techniques /