Refinements, parameterization