Documentation and invariants.