我们要做海洋的守护者，而不是征服者。
We should be guardians of the ocean, not conquerors.
We can easily forgive a child who is afraid of the dark；the real tragedy of life is when men are afraid of the light.
Music is my therapy, my escape, my passion, my everything.
采购的透明度能建立与消费者的信任。
The future of humanity is in the hands of those who are able to carry the torch of wisdom and beauty into the darkness.
你的声音可以改变世界。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。