goal refinement