Need to check invariant for validity.