Internationalization is not a choice but an inevitability; we must have a global perspective.

The challenge in model checking is not just to find errors, but to understand why they occur.

最危险的浪费是我们没有意识到的浪费。