Insofar as they are quantum mechanically computable from their constituents, I conjecture that the latter must be constituents insofar as they are already present IN the whole, and as such not identical to their freeling existing counterparts. That whole must consequently be presupposed in those cases, as is certainly necessary in cases where such a computation is impossible in principle.