Lecture contents hopefully ready