I love that you just called Donald Knuth a massive douche. That is all.