On the shelf...

I have quite a few "Teaching Company" lectures on CD that I'm waiting to get through, on my little MP3 player. If I brag I do not brag about myself (and owning the works of Shakespeare doesn't make you a playwright): I hope I can put up some opinions of the courses in later blogs:

Existentialism
Philosophy
Science
Prehistory
English
Human Behaviour

I have so little time though, and it's hard to listen to lectures and read Science-Fiction simultaneously! And University is getting tough, I have a Formal Methods 2 assignment where the QUESTION is 23 pages long, here's a little logical statement that I hope will solve the "small" problem I'm having with the assignment specification at the moment (I can only test it at Uni because I can't get the "B-Toolkit" to run under Linux, it's a pain involving licenses and I just gave up!!):

IF {ran({pp}<(haspassed\/{pp->mm}))} /\ Needed(follows(pp)) = needed(follows(pp)) THEN....

See what I mean? It takes me ages to understand it, and I wrote it! Will all this talent be put to good use at Corus? It seems it may (or may not, as I am currently thinking) be the case....I may end up on placement there.