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