A talk "Designing a Universe Polymorphic Type System" with just a few slides.