Invia SMS: Studying deductive logic/