list of expository materials needed to augment Woldy

• 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