SMS versenden: The Logic of Provability/