I didn't check my notifications frequently enough to see this. How far did you get into the theorem, and will there be another session?