#system-invariants