add use of refinements