WebeginbyMPF, which willreference Lemma 1.PFcanbe Pr[ MPF(q) = rr