labels in MCS lemma