要理解量子世界，我们必须先忘掉我们的经典直觉。
To understand the quantum world, we must first unlearn our classical intuitions.
The best solutions are often the simplest ones.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。