TeX source:
k - 1 = 3