"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
创新不仅仅是技术的问题；它是关于改变思维方式并接受新的思考方式。
创新不仅仅是技术的问题，而是解决实际问题。
The best designs come from understanding natural laws.
The thing that is important is the thing that not seen… It is just as it is with the flower。 If you love a flower that lives on a star， it is sweet to look at the sky at night。 All the stars are abloom with flowers…
The will is the central organizing force of mental life.
