do not use refinements for bounds unless they are refinements themselves