proposals for refinement completions