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?