TeX source:
P(F)=0.56