It is time to decide that proof does not make things exact, it reveals them. The equivalence between fixed-point sensitivities and KKT already existed; proof simply makes it manifest. Confusing discovery and creation introduces an unacceptable uncertainty into our models. Take the standards of the Finansinspektionen for capital calculations: they require that the validity of our methods be intrinsic, not dependent on a demonstration.