finished Monika Mitasova's lecture writeup