Ambition is the last refuge of the failure.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
As a woman I have no country. As a woman I want no country. As a woman my country is the whole world.
生产与保护之间的平衡很微妙,但可以实现。
"The power of a single word can outshine the brightest star in the darkest night."
What I claim is to live to the full the contradiction of my time, which may well make sarcasm the condition of truth.