TeX source:

df = 18