 To speak of identical predication it is sufficient that the form signified by the subject-term of a (true) proposition and the form signified by the predicate-term share at least one of their substrates of existence. This is the case for propositions like ‘Man is (an) animal’ and ‘The universal-man is something white’ (‘Homo in communi est album’). One speaks of formal predication in two cases: