SMS versenden: Varieties of constructive mathematics