[pvg]

Hmm, even in PDF form it's not possible to read this without humming the Transformers theme and putting in 'Dijkstra's in Disguise' at the relevant places.

This is very distracting.