\todo{Lecture 4 missing}