Invia SMS: Kreative Aspekte der logischen Formalisierung