Add `Common Invariants` section.
Change user credentials requirements.