I liked this: from your thesis:

"If a mathematician is a machine for turning coffee into theorems, a computer scientist is a machine for converting caffeine into algorithms."

Thank you!

> I recommend skipping the proofs. They're not very informative and the calculus gets rather tedious.

And besides that is well over my head anyway, but I should be able to follow your main line of reasoning.

Colin, that is a well-written thesis I have read in a long time! Great work!