It can be clearly proved that everything destined to exist was originally included in the Light that departed. For what departed was Eyn Sof, blessed be He. Now Eyn Sof includes everything. If so, everything was originally included in what departed.

…and what was not rooted there cannot come into being afterwards. It would not be enough for the Residue to be merely the root of the general categories found in the lower realms, which afterwards divide into their particulars down below. All the lower worlds and beings must necessarily be rooted in the Residue: every single detail must be rooted there. The proof of this is that no detail that is not included in the All-Powerful could possibly exist. The Residue is the revelation of everything that was included in the All-Powerful as the root of the lower realms and creatures. If so, it must be that all the details were also included in the Residue.