Zaslat SMS: Kreative Aspekte der logischen Formalisierung