MMTF -> MMINT transition instances