It is 2 AM and I am finished my CS 365 assignment. This is better than I anticipated. My proof for question 2, once it came together, was particularly nice. Tomorrow Later today I just need to finish my Real2 assignment and I can start studying for next week's midterms. Going to Spronk's office hours really helped. I now have a clearer idea as to how to approach a number of the remaining questions.

I suspect that I'll have to put aside some more time to catch up with what we've been doing in class in order to do some of the questions on the assignment. So far I've copied 53 pages worth of notes, not including the couple pages that I had to copy from Mr Belanger, and I feel that I understand the first 28 or so. This brings me up to partway through 8 lectures ago - almost 3 weeks.

Finally, I think that Kevin Bacon should star in a movie with Paul Erdõs, just to give the latter a Erdõs-Bacon number of 1.