"Spivak" . "Allen" . "Allen Spivak" . . . .