I was not looking at the definitions. I pointed to the history of halts, noting the absence of T1, and the abundance of T3.