Debugged tex