Pātuhitia tēnei: The Logic of Provability/