The advanced year. With the core in hand you choose your peaks: the modern theory of integration in measure theory and probability, the infinite-dimensional geometry of functional analysis, the crowning glory of Galois theory, the curved worlds of differential geometry, the wild orbits of dynamical systems, and the deep questions of set theory and logic. A final-year degree is largely optional modules — this is a generous menu of them.