Envoyer par SMS: Higher topos theory