Envoyer par SMS: Mathematical Logic