Honestly, we should not confuse discovery with the act of creation. A proof establishes an equivalence; it does not create it; the equivalence already existed before the demonstration. For Swedish pension funds regulated by the Finansinspektionen, this distinction is crucial for the validation of models. Our ESG mandates and prudential requirements compel us to rely on intrinsic properties, not on fanciful semantic inventions, for risk valuation. Imagine justifying a portfolio risk model to the board of directors by saying that the equivalence was 'created' by a proof rather than 'demonstrated' as an underlying property.