map refinements