TeX source:
P(B) = .35