"1963" . . . . "Equivalences" . . .