Great work, as usual. I have a question, what if the redeemer misses a cycle. Would he be able to redeem 2 (or whatever he missed + 1 ) tokens at once? I assume Payment tx with amount equal to = (cycle_number - current_balance) * payment_amount would cover that scenario.