In his seminal 1978 paper, Kunen demonstrated how to collapse a huge cardinal to $\omega_1$ and define an $\omega_2$-saturated ideal on $\omega_1$ in the generic extension. This talk will give an overview of the result and cover a number of prerequisites and lemmas needed for the main proof, which will be covered in part 2.