refinement notion for mpl
updates