Mission_Time_LTL_Language_Partition.MLTL_Language_Partition_Proof