 Consider, for instance, proposal (a): namely, the distinctness of an entity x from an entity y is just the nature of x. Now, note that the distinctness of an entity x from an entity y is a relational property of x, i.e., x has that property only in virtue of being related in some way to y. But this relational property is constituted by y. So, if this relational property is the very nature of x, then y constitutes the very nature of x. By similar reasoning, if y is distinct from x, and this distinctness is a relational property of y, then x constitutes the very nature of y. For any two entities x and y, if x constitutes the very nature of y and y constitutes the very nature of x, then they are identical. Thus, Śrīharṣa arrives at his desired conclusion: a perceptual awareness of the difference of a cloth from a pot, would also reveal that the pot and the cloth are in fact identical.