corrected location of created invariants