This talk was given at: Graduate Logic Seminar, UW-Madison, on October 2, 2023. Slides Download instead. Your browser does not support PDFs. Download instead.