This page has moved to https://philsquared.github.io/LevelOfIndirection/blog/interlude.html. If you are not automatically redirected please click the link.