TLA+ 《Specifying Systems》翻译初稿——Section 14.6 What TLC Doesn't Do（TLC不能做什么）