Refinement checking.