So what assumptions are required for this to work, for this little Benji?

Yeah, it's a very good question and a thorny one.

So let's see how I go.

So at the core of the proof to get the fundamental representation lies the Feynman-Kak theorem.

So for people, it's very widely used, but for people who don't know what that is, it's for us quants to be able to jump between the probabilistic view of the world, I price the trade, it's an expectation of discounted cash flow, to a PD view of the world, which links how your pricing function evolves through time and disperse through space.

For some reason, it's good to map between those two because they don't have the same properties and it's how we can manage to get an adjustment.

And so the assumptions are really going to be the one that is used by this theorem.

Is that something you'll be working on improving or do you not think is a priority?