What the hell is that quote? No, a simple proof is the absolute mathematical ideal!