I figured it was a baby at the second stanza, I dont think the confusion you felt is reproducible that easily
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?
Nevermind I didnt think was a requirement