Regardless of your view on bots, do we think it’s a good idea to crush our daily active users before we are in the next bull run? Do we want to go back to being a small fish?