情感不仅仅是反应;它们是我们最深层次需求和欲望的有力指标。
天下很多所谓可以做的事情,未必都是可以做的啊! 
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
管得最少的政府是最好的政府。