#refinement-loop