Lecture notes for completentess (Week 6)