At most Plantinga's argument presupposes that necessary existence is a property, and that certainly is a plausible view because some things have contingent being, other things have necessary being, and so they would seem to differ in their properties, and that would not be problematic.