写作是保存记忆的一种方式。
Writing is a way of preserving memory.
模型检查是验证有限状态并发系统正确性的强大技术。
No arts; no letters; no society; and which is worst of all, continual fear, and danger of violent death; and the life of man, solitary, poor, nasty, brutish, and short.