犯错是人之常情。承担你的错误是神圣的。没有什么比迅速承认你所犯的错误，并承担个人责任，然后公平地纠正错位更能提升一个人的地位。如果你搞砸了，大胆承认错误吧。这种力量非常强大。

合成的目标应该是尽可能简单地制造分子，而不仅仅是可能。

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

世界是理性的。