namespace refinement