Invia SMS: On global univalence theorems