Anfonwch hwn fel neges destun: The philosophy of mathematical practice