truths of essence refer to two cases: the pure and simple identity in which we demonstrate the identity of the predicate and the subject, and the discovery of an inclusion of the type /every number divisible by 12 is divisible by 6/