list refinements