  As early as the 17th century, Galileo Galilei wondered how to compare the
sizes of infinite sets. Fast forward almost four hundred years, and in the
summer of 2017, at the 6th European Set Theory Conference, a young model
theorist, Maryanthe Malliaris, and the well-known polymath, Saharon Shelah,
received the Hausdorff Medal for the most influential work in set theory
published in the last five years. Malliaris and Shelah made significant
breakthroughs both regarding a model theoretic classification problem (that is,
sorting certain objects into types), and proved that two well-studied infinite
quantities, $\mathfrak{p}$ and $\mathfrak{t}$, are in fact the same. This
latter result is the focus of our expository paper.
