The number one organ of ridicule, nowadays, is the newspaper. If you open the newspaper any day of the week, it's full of people who've messed up their lives. They've slept with the wrong person, taken the wrong substance, passed the wrong piece of legislation -- whatever it is, and then are fit for ridicule. In other words, they have failed. And they are described as "losers." Now, is there any alternative to this? I think the Western tradition shows us one glorious alternative, which is tragedy.

人生是由小小的幸福积累而成的。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."