No Time for Lecture Today

Sitting at home finishing up assignments that need to be done today instead. I was going to read through Wednesday's annotated slides, but it seems there are permissions issues on the pdf and it is forbidden. I guess I'll read through the chapters in the textbook to get back up to speed. One thing I should focus on is unwinding; I understand what unwinding is doing, but not how far we go until it makes something useful for the proof...