Pātuhitia tēnei: The definability of Mary's assumption