refinement 3