"In computer science, we are always trying to find the balance between expressiveness and tractability."
那些让和平革命成为不可能的人将使得暴力革命不可避免。