Lecture 20 - Complexity Theory, Quantified Boolean Formula