Communicate everything you possibly can to your partners. The more they know, the more they'll understand. The more they understand, the more they'll care. Once they care, there's no stopping them.
尽可能多地向你的合作伙伴传达一切。他们知道的越多,他们就越理解。他们理解的越多,他们就越关心。一旦他们关心了,就没有什么能阻止他们了。
"The human heart is a mystery, even to itself."
我们今天所做的每一个决定都会影响下一代。
The challenge in model checking is not just to find errors, but to understand why they occur.
Music is my refuge and also my battlefield.