more on refinement