[math-fun] Serge Lang has died.