Section names appearing in comments refer to the preceding appendix. Specification of the methods immediately following those comments should be found in the referenced section.
(Notably missing from this draft are throws clauses for exceptions.)
