The realization that electronic properties can be topologically protected has revolutionized our understanding of solid-state physics.

我们写的每一个方程都是理解宇宙的一小步，但旅程是无限的。

宇宙即变化；我们的生活由我们的思想塑造。

全人类...都是平等和独立的，没有人应该侵犯他人的生命、健康、自由或财产。

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