Harvard Logic Colloquium: Dima Sinapova (University of Illinois at Chicago)