The aim of proof is to understand, not just to verify.
现实与幻想的边界比我们想象的更薄,有时甚至完全消失。