Pātuhitia tēnei: The philosophy of mathematical practice