example refinement