copy / delete / change refinement