SMS dit: Higher topos theory