Envoyer par SMS: On global univalence theorems