You do not have access to this note.

21.3 The Identity Predicate =