domain constraint and minor refinement