Let us first take the assertion with regard to a particular thing A and a particular relational property that, from the proposition that A has it follows that nothing which has not got is identical with.