Let's stop going in circles: a proof does not create the equivalence of KKT sensitivities and fixed points; it demonstrates it. For our pension funds, we need to clearly define what is an inherent property and what is a construction. The risk models of our Swedish funds, regulated by the Finansinspektionen, require fundamental truths. An existing equivalence, like gravity, does not depend on its formulation to exist. We must commit to non-revocable principles, not to artifacts of demonstration.