Hot: refinement