您即将离开知乎，请注意您的账号和财产安全。
https://tla.msr-inria.inria.fr/tlaps/content/Documentation/Tutorial/The_example.html
