Envoyer par SMS: Deductive reasoning and strategies