Отправить по sms: Varieties of constructive mathematics