An Aristotelian argument for a necessary concrete being

All of the quantifications in the following are to be understood tenselessly. Consider these premises:

1. If y is an entity grounded solely in the xs and maybe their token relationships, then it is impossible that y exist while none of the xs exist.
2. All y is an abstract being, then there are concrete xs such that y is grounded solely in the xs and maybe their token relationships.
3. There is a possible world in which none of the actual world's concrete contingent beings exist.
4. There is a necessarily existing abstract being.

Alright, then:

5. Suppose there are no necessary concrete beings. (For reductio)
6. Let y be a necessarily existing abstract being. (4)
7. Let the xs be concrete entities such that y is grouned solely in the xs and maybe their relationships. (2 and 6)
8. The x are contingent. (5 and 7)
9. Possibly none of the xs exist. (3 and 8)
10. Possibly y does not exist. (1,7 and 9)
11. y does and does not necessarily exist. (5 and 10). Which is a contradiction.
12. So, by reductio, there is a necessary concrete being.

Premise 2 is a basic assumption of Aristotelianism. Premise 1 is more problematic. Note, however, that it is very plausible that this computer could not have existed had none of its discrete parts (CPU, screen, etc.) existed (i.e., ever existed, since the quantifications are tenseless). An object can have its parts get gradually replaced, but by essentiality of origins it must at least start off out of some of the stuff it started out of. And so it must have at least some of its constituents (at some time) in any world where it exists.

Further, premise 1 follows from the thought that when y is grounded solely in the xs and maybe their token relationships, then there is nothing more to the being of y than the being of the xs and maybe their relationships. But the token relationships of the xs couldn't exist if the xs never existed.

Premise 3 is very plausible. It must, of course, be distinguished from the much more controversial claim that there could be no contingent beings. Premise 3 is, on its own, compatible with the thesis that necessarily something contingent or other exists, as long as there aren't any contingent things that necessarily exist.

If premise 3 is the sticking point, but S5 is granted, an alternate argument can be given. Very plausibly, there is a possible world w containing a concrete being c with the property that all the concrete beings of w modally depend on w, i.e., they couldn't exist without c. (For instance, maybe they are solely grounded in c and its properties, or maybe c is a common part of them all, or maybe there is nothing but c.) Then running our argument in that world we conclude that c is a necessary being in w, and, by S5, actually.