站在风口上,猪都能飞起来。
谦逊是伟大领导者的标志。
Every action has its pleasures and its price.
A ship is always referred to as "she" because it costs so much to keep one in paint and powder.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."