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