The navigation tool (Fig. 5) allows users to move anywhere, i.e., reload any page that had previously been committed to memory, up to the proposal level. Each entry in the directory tree carries a hyperlink leading to that particular page. To go back higher up, above the proposal level, see instructions in the previous section.