Post update: What's wrong with TeX