If you control someone's interests, you control their expectations, and thus their actions.

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

我不是为了被喜欢而来，我是为了做自己而来。

我不是为读者写作，我是反对读者写作。