This should be an assertion.