hplw refinement
refinement