Recently one of the oldest open problems in set theory about the cardinal invariants of the continuum (i.e the question of whether $\mathfrak{p}=\mathfrak{t}$) was solved by Shelah and Malliaris (see "Cofinality spectrum theorems in model theory, set theory, and general topology").

Can anyone explain the main idea of the above proof.