Now each abstract idea being distinct, so that of any two the one can never be the other, the mind will, by its intuitive knowledge, perceive their difference, and therefore in propositions no two whole ideas can ever be affirmed one of another.