Yep, his pricing model is explicitly based on deriving a dollar/bitcoin exchange rate in 2141, which assumes both are traded in 2141. He then uses time discounting rules to get the dollar/bitcoin exchange rate for today.