Knuth's local information
