[wpietri]

If you two would actually like to bet, I'm happy to shepherd that bet through the process here: http://longbets.org/

We've been going 16 years at this point, and we have bets out to 2150: http://longbets.org/11/