质量不是一种行为，而是一种习惯。
Quality is not an act, it is a habit.
做正确的事永远是时候。
写作的行为是一种勇气的行为。
理解某事的最好方法就是尝试去改变它。
The only way to achieve the impossible is to believe it is possible.
I try to be the best version of myself on and off the court.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."