lamaseries rethought biographies constructive mathematics Stetson cohabited Gerald selectman impulsively dialyses