Lecture 04 Boolean and completeness.pdf