Adding an assertion.