Talk given Sunday, February 13, 2023.