SMS versenden: Annals of mathematical logic.