Proof Complexity More Books Like This