 Finally we speak of habitudinal predication when the form connoted by the predicate term does not inhere, either directly or indirectly, in the essence designated by the subject, but simply implies a relation to it, so that the same predicate may be at different times truly or falsely spoken of its subject without there being any change in the subject itself. According to Wyclif, we use such a kind of predication mainly when we want to express theological truths, like: God is known and loved by many creatures, and brings about, as efficient, exemplar, and final cause, many good effects. It is evident that habitudinal predication does not require any kind of identity between the entity signified by the subject term and the entity signified by the predicate term, but formal predication and essential predication do. So the ontological presuppositions of the most general type of predication, implied by the other types, are completely different from those of the other two.