dabbing. comments on Logical Share Splitting

[dabbing.]

As far as I can tell the subsidiser does not actually get a proof of the hypothesis. Is there a way in this system to pay to actually get the proof?