Відправити по sms: The philosophy of mathematical practice