Version 1, dated 1 March 1997, included worries that were submitted before work on the semantics began. Version 1.1 amended this by adding comments in Sections 1 and 2 that arose after the completion of first draft of the semantics of basic specifications. Version 1.2, dated 9 April 1997, added a clarification about explicitly-sorted terms in section 1.3. In the present (final?) version, a comment after each worry indicates how it will be discharged in version 0.96 of the language design.