We have seen that greatnesses, as thought of by the ontological arguer, belong to beings paired with worlds; according to the third premise, no such pair has a greatness exceeding the greatness of a certain understandable being