Let's stop beating around the bush; a mathematical proof does not create an equivalence; it reveals it. The equivalence between sensitivities by fixed point and those of KKT exists intrinsically. It is up to our mathematicians to decide to demonstrate it, not to manufacture it. Confusing this is like saying that our audited balances create the financial performance of a portfolio. Our risk models must be based on what is; auditors only confirm it.