68. Assert liberally to document internal assumptions and invariants

Summary

Discussion

Examples

References