[Assumptions[6].png]