[r6rs-discuss] [Formal] Invoking toplevel undefined

---
This message is a formal comment which was submitted to formal-comment_at_r6rs.org, following the requirements described at: http://www.r6rs.org/process.html
---
Name        : Andre van Tonder
Email       : andre at het.brown.edu
Type        : defect
Priority    : minor
Component   : Toplevel program semantics
Version     : 5.92
Pages       : 28
Dependencies: None
Summary:
--------
An orphan reference to the terminology "invoke" exists in the toplevel program 
semantics.
Description:
------------
Section 7.2 starts with the following:
"A top-level program is executed by treating the program similarly to a 
library, and invoking it."
However, the description of what it means to "invoke" a library, which was 
contained in the previous version, has been dropped in this version.