FORMAL-006-2_Mmodel