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 is the second part of the talk, covering the main forcing argument.