  For consider the following argument. Suppose that there are two simple beings, x and y. x has the property of simplicity, S, and whatever property, P, suffices for identity with x. And because x is simple, S=P. But y, too has S. y must therefore have P as well and, hence, y=x (Leftow, 199–200).