Mission_Time_LTL_Formula_Progression