\item[progn] The message must return @|void|. The applicable primary methods
are simply invoked in turn, most specific first.
\item[sum] The message must return a numeric type.\footnote{%
- The Sod translator does not check this, since it doesn't have enough
+ The Sod translator doesn't check this, since it doesn't have enough
insight into @|typedef| names.} %
The applicable primary methods are invoked in turn, and their return values
added up. The final result is the sum of the individual values.