這個理存在于宇宙間，本來就不因為人的明白不明白、實行不實行而有所增減。
The future of computing lies in the development of systems that can verify their own correctness.
The best fertilizer is the gardener's shadow.
The most important thing is to enjoy your sport. If you don't enjoy it, it's very difficult to achieve good results.