That's what the `assertion_cb` does.