Interface IAStateInvariant