algebraicthunk.net/ blog/ entry/ Too bad I can't put this on my resume...