Zaslať SMS: Formal Logic :