"If there are several such propositions, output the one with the maximal number."