TeX source:
P=1