Wait, I found it in course.py. You can ignore my comments.