Pumpin Lemma — Two_EM — dig