Pātuhitia tēnei: Axiomatic functionalism