module Support::Invariants