我们都在寻找某些东西,但我们并不总是知道它是什么。
The aim of proof is to understand, not just to verify.