Adding on: While the calculations are easy, the methodology of which calculations to use is unknown at this time.

It would be useful to document the diffefent types of proofs thatt exist

For example, we could describe fhis one as a "time = post #" classification