Invia SMS: Deductive reasoning and strategies