法律的概念本质上是一个社会事实问题。
The concept of law is essentially a matter of social fact.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
He allowed himself to be swayed by his conviction that human beings are not born once and for all on the day their mothers give birth to them, but that life obliges them over and over again to give birth to themselves.