The formal proof will exist - the math, the paper, the verification - but that's just the surface artifact. What remains hidden is the v...