如果我们不相信我们所鄙视的人的言论自由,那么我们根本就不相信言论自由。
The task of a writer consists in being able to make something out of an idea.
The night is a great city, but the stars are its lights.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."