I believe in Spinoza's God, Who reveals Himself in the lawful harmony of the world, not in a God Who concerns Himself with the fate and the doings of mankind.

——在遗嘱上签名后，对在病榻的同志们说，1925年3月11日

We don't just manufacture chemicals; we enable progress.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

"What good is the warmth of summer, without the cold of winter to give it sweetness."

Every project is a new adventure, a new challenge.

"The world is not a stage, but a madhouse. The actors are not performers, but inmates."

If not me, who? If not now, when?