He had a way of looking at her that made her feel like the only person in the room.
社会系统的统一性在于其各部分之间的相互依存。
"I'm not worried about what people say. I know what I can do."
我不敢说自己从未担心害怕过。 实际上我希望少一点担心害怕,因为它让我分心,使我焦虑。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."