So what would be the end-game for the doubled amount? Double it again? Spend it?