Greatness is not this wonderful, esoteric, elusive, god-like feature that only the special among us will ever taste. It's something that truly exists in all of us.

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

Ask the Possible of the Impossible,“Where is your dwelling-place？”“In the dreams of the impotent.”comes the answer.

我不让消极情绪影响我，我只是继续前进。