necessarily[(aw = aw)if-thenAU(aw)]
(The author of W is essentially an author.)

necessarily(AU(aw))
(The author of W is an author necessarily.)

necessarily(aw = aw)
(The author of W is the author of W necessarily.)