Formalizing Space-Faring Civilizations Saturation concepts and metrics — LessWrong