 As a side note, the Immanent Reasoning framework presented in  Section 3  provides the means for delving into the meaning of the Identity predicate and distinguish it from other forms of equalities. It is not possible to give all the details in this entry, but some basic explanations will be given together with the relevant bibliography.