Zaslat SMS: Logische Untersuchungen