give up refinement for now