refinement [pl. refinements]