Pātuhitia tēnei: First steps in model logic