Pātuhitia tēnei: Elementary theory of metric spaces