Envoyer par SMS: An Introductory Logic.