refinement of a covering