(redux refinement)