Envoyer par SMS: The Price of Formal Freedom