Zaslat SMS: Logik und Informatik