Add "Data Invariants" section.