TeX source:
P < 3.75