Envoyer par SMS: A precis of mathematical logic