refinement 4