[math-fun] Advanced civilizations do not exist?