68. Assert liberally to document internal assumptions and invariantsSummaryDiscussionExamplesReferences