@palmin That's it, that proves it. Knuth is an alien.