You do not have access to this note.

18.2 →Elim and ↔Elim