This argument purports to show that, since appearances and things in themselves have different modal properties, they must be distinct. Since (P1) and (P2) are claims Kant makes in the context of his theoretical philosophy, this argument provides warrant for denying identity on purely theoretical grounds.