Knuth on Theory vs Practice