Lecture 25 (Truth and Complexity, II)