The problem with quantitative easing is that it works in practice but it doesn't work in theory.

I'm not a princess. I'm a queen.

我相信梦想的力量。

历史不是机械的，因为人们有自由去改变它。

Words are traps, we step into them without knowing.

模型检查是验证有限状态并发系统正确性的强大技术。