The Math of the equation is easy. Proving the input numbers is difficult and hasn't been done. I used to be a qualified reserves assessor for my company and IMO Treaty haven't proved any reserves yet.