refine refine-by docstring