Props for Hardness Lecture