TeX source:
P2, P3, P4