I'm not a saint, I'm a sinner.
Art is not a mirror to reflect reality, but a hammer to shape it.
经济周期的福利成本并非周期本身,而在于人们是风险厌恶的。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.