Відправити по sms: Varieties of constructive mathematics