Seol mar théacs é seo: The philosophy of mathematical practice