; #refinement