F Drake 1961 N=R*×fp×ne×fl×fi×fc×L; modern modern Vakoch refinement + Frank-Sullivan 2016 minimum-civilizations argument.