Per GAAP you are correct, but many of these ARRs are qualified as non-GAAP. So yes, a real analysis should do what you're saying but are they is the question. Also, if they are buying tokens with no time limit, that will complicate the accrual forecast. This could be why all of the downstream investor companies like Amazon are pushing their employees to tokenmax.