Added correctness_invariant