On the other hand, from (26, 29, 35) we have (36):  the author of W is not self-identical necessarily.

(26) for allxnecessarily((x = x) equivalent (x ex X))

(29) [(x ex X & ¬necessarily(x ex X)) equivalent (x ex X & ¬necessarily(x = x if-then x ex X))]

(35) ¬necessarily(aw = aw if-then aw ex AW)

(36) ¬necessarily(aw = aw)