站在风口上,猪都能飞起来。
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."