- 8.a
- Ramification: The elaborated state is only important for bodies; certain uses of a body raise an exception if the body is not yet elaborated.
- 8.b
- Note that "prior" implies before the start of elaboration, as well as during elaboration.
- 8.c
- The use of the term "normal completion" implies that if the elaboration propagates an exception or is aborted, the declaration is not elaborated. RM83 missed the aborted case.