  Cicho\'n's diagram describes the connections between combinatorial notions
related to measure, category, and compactness of sets of irrational numbers. In
the second part of the 2010's decade, Goldstern, Kellner and Shelah constructed
a forcing model of Cicho\'n's Maximum (meaning that all non-dependent cardinal
characteristics are pairwise different) by using large cardinals. Some years
later, we eliminated this large cardinal assumption. In this mini-course, we
explore the forcing techniques to construct the Cicho\'n's Maximum model and
much more.
