Pr(F)