implemented store_refinement