Ask not what your country can do for you --ask what you can do for your country.

I'm a Martian, ain't nobody can reach me.

我不是那种会让对NBA的爱减少的人。

To name something is to begin to free oneself from it.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

我相信直觉。如果感觉不对劲，那很可能就是有问题。