Formalizing the presumption of independence