Harvard Logic Colloquium: Steve Jackson (University of North Texas)