法律的概念涉及义务的初级规则与承认、变更和裁决的次级规则的结合。

我们都有裂痕，那是光照进来的地方。

我应该，所以我能够。

The challenge in model checking is not just to find errors, but to understand why they occur.

教学只是教育的脚手架；真正的建筑是由孩子自己完成的。

我唯一能做的就是写作。其他一切都让我感到无聊。