refinement 3.6