English
Appearance
Document package boundaries, important invariants, tradeoffs, and extension points.
