refinement to the input