我喜欢梦的逻辑。
A proof tells us where to concentrate our doubts.