"John McCarthy"@en . . . .