Winding Down

Lateness in the morning translates to lateness in the afternoon. I feel a bit of the comprehension gap that occurs when discussing the correctness of bubblesort. I wonder if there's something I'm doing wrong. This sem's discussion is tighter and more mathematically sound than last sem's "Err... yes, this does mean that we can conclude that... I think" approach.