Refine assertion.