Implemented dynamic invariants