Invia SMS: Formal Logic/