SMS dit: Towards a philosophy of real mathematics