我只想知道我将在哪里死去，这样我就永远不会去那里。
The greatest prison people live in is the fear of what other people think.
我不随波逐流，我引领潮流。
Leadership means making tough decisions today for a better tomorrow.
世界上充满了显而易见的事物，却没有人注意到它们。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。