. . "John Hartshorne" . . "John Hartshorne" . . . .