  We introduce homotopical variants of the axioms of countable and dependent
choice for infinity-topoi and use them to give criteria for Postnikov
completeness, revisiting a result of Mondal and Reinecke.
