instead of buying back your tokens, what should you do with extra revenue?