Distinguished Lecture—The effective abc inequality, and how it was applied to get a new proof of Fermat's Last Theorem