"William Knuth" . . . . "William Knuth" .