INVARIANTS
=====================