SMS versenden: Kreative Aspekte der logischen Formalisierung