Planets in the habitable zone, the Drake Equation, and the Great Filter — LessWrong