We explain our proof of the unbounded denominators conjecture. This talk will require the main theorem of the lecture on Nov. 17, 2021, as a “black box” but otherwise be logically independent of that talk.