DNA的双螺旋结构不仅美丽，而且优雅简单。
The double helix structure of DNA is not only beautiful but also elegantly simple.
In peace, sons bury their fathers. In war, fathers bury their sons.
The biggest risk is not taking any risk.
The challenge in model checking is not just to find errors, but to understand why they occur.
A good mathematician is someone who can see analogies between theorems; a great mathematician is someone who can see analogies between analogies.
释义：做好事和坏事最终都会有报应，只是早晚的问题。