[StartingOver_msr.sml]