https://aaronquigley.org/2023/10/oct-3-john-lion-distinguished-lectures/