which of two or more [...] shall then use FMI 20 [...] shall then use FMI 20

or, more generally [...] MC_Stop , then``MC