https://cargosled.pages.dev/posts/course-recorder-paper/