Enviar por SMS: Varieties of constructive mathematics