Відправити по sms: The autonomy of mathematical knowledge