Գրեք սա: Towards a philosophy of real mathematics