Namespace refinement.