Отправить по sms: Formale Logik