"Knuth" . "Eloed" . "Eloed Knuth" . . . .