So our nonmodal translation of the conclusion resembles, our first version of Premise (There is a being existing in the actual world such that for no world and being does the greatness of in exceed the greatness of in the actual world.)