有些人不喜欢变革，但如果不这么做的后果是灾难性的，你应当拥抱变革。

Financial technology should focus on data security and privacy protection, which is the foundation for sustainable development of the industry.

最终，我们都只是故事，被讲述和重述，直到它们成为别人的真相。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。