upgrade Refine to Refine or Intro.