Footnotes

(1)

There weren't any when this manual was written, but one of the design goals is that we should be able to use, for example, constraint satisfaction techniques to solve goals, without needing to change the user-level view of the system. It may just run faster (or not, as the case may be).