Does this comment apply to the line above? Maybe move it above and say something like
  // let the function that describes the minimal level of refinement as a function of 'x' declare its parameters.