Update esempio1.mf