Zaslat SMS: Higher topos theory