+\item A specified function may, e.g., in a later version, accept additional
+ optional and/or keyword arguments. A specified macro may be extended to
+ accept syntax other than that documented in this specification, e.g., to
+ add additional optional arguments.
+
+\item If a specified function or macro is described as returning the values
+ returned by some user-supplied function or form, then it will do precisely
+ that, and there are no restrictions on which or how many values such a
+ user-supplied function or form may return. Other specified functions or
+ macros may return additional values beyond those described (so it is likely
+ an error to invoke them in forms such as @|multiple-value-list| or
+ @|multiple-value-call|). It is an error for a user-supplied function or
+ form not to return the documented number and types of values.
+
+\item The \emph{specified packages} are the @|SOD| package, and all packages
+ whose names begin @|SOD-|. The specified packages are reserved for the Sod
+ translator. It is an error to define or alter specified packages (e.g., to
+ export additional symbols from them, import symbols into them, shadow
+ symbols in them, or modify their `use' lists), to refer to internal symbols
+ in specified packages, or to define functions or macros, or proclaim
+ @|special| variables, whose names are exported by specified packages. If a
+ symbol exported from a specified package has a name beginning and ending
+ with @|*| or @|+|, then it is an error to use it as a lexical variable.
+
+\item A specified function might be implemented as a generic function even if
+ it is not documented as being one; it is an error to attempt to (re)define