refinement 1