Invia SMS: Deductive logic/