The elements of consciousness are to be discovered by careful experimentation.

模型检查是验证有限状态并发系统正确性的强大技术。

If one has realised, he is that which alone is, and which alone has always been. He cannot describe that state. He can only be that.

我专注于我能控制的事情，我无法控制人们对我的看法或言论。