plan invariant