Passes an assertion.