refs #369 Verify an important invariant