Model checking is a powerful tool for verifying the correctness of hardware and software systems.

每一帧都应该讲述一个故事。

君主对于有才能的贤良之人应当抬举，让他处于尊位，富贵绵长；对于没有能力且无德的人应当废弃，让他贫困低贱，成为受驱使的奴仆。

中心地的等级越高，其数量越少。

信仰是所望之事的实底，是未见之事的确据。