Invia SMS: Formal Logic :