A world is better, from the standpoint of, than any A world; that is, iff either there are best (evaluable) worlds, and A holds throughout them, or there are better and better (evaluable) worlds without end, and A holds throughout all sufficiently good ones.