Invariants

Invariants is…​FIXME