5.3 Invariants

See About this document... for information on suggesting changes.