refinement

not defined yet