For any thing x and magnitude m, if 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, and x does not exist in reality, then it is not possible that if x exists in reality then there is a magnitude n such that n is greater than m and n is the magnitude of x. (Premise)