You do not have access to this note.

30.3 AElim: good practice to review