4.2 lecture notes