. "John Kemeny"@en . . .