"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

"一个好的摄影师知道何时打破规则。"

过去不是监狱，而是跳板。

荒，荒淫。乱，动乱。之，的。萌，根源、萌芽。 统治者的荒淫是国家动乱的根源。这是魏源的政治卓见。因为统治者一旦荒淫，就不会以国事为重了。如此，上下交怨，天下岂能不乱？因此，力戒荒淫，乃是当权者应当牢记的信念。

音乐系我嘅生命，冇音乐我唔知点算。

在向埃及的远征中，拿破仑下达过这样的一个命令。

足球的进步不仅仅取决于球员的技术，还取决于比赛的精神。