SMS versenden: Constructibility and mathematical existence