Jack Sherman on Martin Springs