Pātuhitia tēnei: Ways of proof theory