refinement; debug