SMS versenden: The logic of provability