Zaslat SMS: Formale Logik