Domain refinements