What?

It was only today that I remembered about the disastrous practical that I had handed in before the Easter break. Having worked on it on and off for a week or so, neither I nor any of the people I spoke to about it could work out how to do it all - the task was to specify a priority queue in PVS, a language which seems to have no reference manuals, no API, and worst of all is based on the horrendous Emacs interface.

After a week of work I was forced to give up, and submitted my half-hearted attempt to MMS anyway - a vague solution that had at least a couple of basic working proofs (but only solved one and a bit out of the three tasks of the practical), along with a brief text file detailing just how much I hadn't done. I went on to MMS today hoping that my approach would have at least helped me to scrape a pass. A grade 9 would have been great news.

I think I'm now going to have to start going to the church services on Sundays, because I'm fairly certain that this qualifies as a miracle.

I'll be back in St Andrews soon, which will be a nice change from the cold in my room. I'm wearing a dressing gown over normal thick clothing, I've eaten a bowl of chicken soup that was boiled to just below its specific heat of vaporisation, the radiator's at full blast, and still nothing changes the permanent Arctic conditions. It must be great for the computer, though.

Found the answer

Weballergy is about addiction to the Internet, and presumably just going around the same forums all day. Sounds familiar, but still, what a strange subject.