Alan_Hoffman_(mathematician) loading ...