For any thing x and magnitude m, if x exists in the understanding, m is the magnitude of x, and it is not possible that there is a thing y and magnitude n such that n is the magnitude of y and n&gt;m, then it is possible that x exists in reality. (Premise)