TeX source:
P = 0