The Polynomial Time Hierarchy: Graduate Complexity Lecture 7 at CMU