- (Premise) The property, WA, of being such that for every world w it is possible for one to weakly actualize w is a powerful-making property.
- (Premise) No powerful-making property entails the property, PL, of being powerless.
- If WA is not possibly exemplified, then it entails all properties. (Fact about property entailment)
- So, WA is possibly exemplified. (1-3)
- (Premise) Necessarily, if x weakly actualizes w then x exists and w has been actualized.
Weak actualization is Plantinga's concept. We might inductively say that whatever x directly creates is weakly actualized by x, and whatever comes from something weakly actualized by x is weakly actualized by x.