Added introduction/background and Knuth links/claims.