Pātuhitia tēnei: Formal method