I believe in the power of storytelling to change people's lives.
管他呢,干就完了。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
不要哭泣;不要愤怒。去理解。
对待侮辱最好的回应就是「你可能是对的」。而事实经常确是如此。