 Formal predication is that in which the form designated by the predicate term is directly present in the entity signified by the subject term. This happens whenever an item in the categorial line is predicated of something inferior, or an accident is predicated of its subject of inherence. In fact, in both cases, the subject term and the predicate term refer to the same reality in virtue of the form connoted by the predicate term itself.