We are running a super fun Reading Group on Under-approximate reasoning and Incorrecteness logic at Purdue.