Zaslat SMS: Deductive reasoning and strategies