True leadership is about serving others, not commanding them.
翻译：君子处世待人，不论外出还是静处，不论沉默还是畅谈，都能得宜。
设计不仅仅是外观和感觉。设计在于它的运作方式。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
It's important to speak up for yourself and what you believe in.