So that's why TeX needs to be Turing complete.