Objection from Alien Properties

Def’n:
“An alien natural property is a natural property that is not instantiated by any individual in @, and is not analyzable as a conjunctive or structural property built up from constituents that are all instantiated by parts of @”
Divers p.115 quoting Lewis (1986a: 91)
Let’s assume that Lewis can give a good account of natural properties, since if he can’t that is an objection in and of itself. The objection can proceed as follows:
1) It’s possible for alien natural properties to be instantiated
2) Postulates O1 – O12 exhaustively and exclusively represent reality.
3) If (2) then (4)
4) No individuals (speaking un-restrictedly) instantiate alien natural properties
5) If (4) then (6)
6) ~(1)
7) (1)&(6)
8) ~(2)

In support of (1), we intuitively think it’s possible that there are ways things could have been that are different than ways things are on a fundamental level. That is, things could have been so different that Humean recombination cannot account for that difference. For instance, things could have been massless, colourless, shapeless, but still had properties we can’t conceive of. Alternately, the universe could have been Newtonian.
In support of (3), postulates O1 – O12 postulate the actual world, and us. It then uses postulates O8-O10 and O12 to generate the rest of the worlds. Any individuals generated in this manner can’t be fundamentally different from actual individuals in the way previously described.
In support of (5), according to GR P is possible iff P at some world. If no individual at any world instantiates natural property A, then A is impossible by the lights of GR.
The most assailable principle is (2). A proponent of GR may agree with the conclusion, and promise a suitable addition to the postulates O13 - On that may account for alien natural properties. Here’s a possible O13 that may account for alien properties:

O13: For any world w and for any number n, there exists a world w* such that w* has n number of instantiated natural properties that are alien to w AND w* has parts that instantiate every natural property in w.

O13 will guarantee that there are a plenitude of alien natural properties that are instantiated in other worlds. It’s also more defensible in the face of the argument in divers on p 118. That objection tries to set up a model which satisfies (GR) + (OAN), and then set up another model that also satisfies (GR) + (OAN) but fails to include all of the alien natural properties of the first model (thus saying GR + OAN is apt to lose out on some). That is more difficult with (GR) + (O13). Should you generate a w* with respect of @, such that it excludes some number of alien natural properties, O13 posits another world w** with properties alien to both w* and @ that may include them after all. O13 will posit a world that includes n alien natural properties as well as all the natural properties of @. It will in turn posit a world with all of those natural properties as well as other natural properties not yet accounted for, and iterate. Recombination (O12) guarantees that there are worlds with only alien properties, and different combinations of those properties. Note also that alien properties that only come in pairs (or triplets, or quadruplets etc.) can be generated using O13. While it’s still true that no particular alien property is guaranteed to be accounted for, none are explicitly un-accounted for. The drawback is that by O13, it’s impossible for a world to instantiate all of the natural properties. O12 would like there to be such a world, but the qualification “if there is a spacetime big enough to hold them all” would have to be used to say that this is an exception.
Should that fail, the next most assailable principle is (3). One would need a good account of natural properties to ensure that O1-O12 don’t in fact capture them all. In other words, this objection may be a little premature.