more value refinement