頭頂上，星星悄無聲息地熄滅了。
Overhead, without any fuss, the stars were going out.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
We are not in the coffee business serving people, we are in the people business serving coffee.