Envoyer par SMS: Kreative Aspekte der logischen Formalisierung