TeX source:
P(C)>0