Envoyer par SMS: Logic deductive and inductive