UPDATE: Assertion.