History: List of expository materials needed to augment Woldy

Source of version: 1 (current)

* Statement in clear terms that rearranging quantified (nonsingular) sumti with SE and FA affects scope and hence meaning. * Statement in clear terms as to where implicit DA (and hence scoping issues) exist in the language, and how they can be made explicit. -Robin