No objection to market making by bots, actually I agree it is necessary and I encourage it. However, I do think it is important to be able to measure both -real humans- and bot activity. Ultimately, the real humans bring more value to a network than the bots. There is a big difference between the two. I would like to mention facebook. It deleted about 1 billion bot created accounts. The real value of facebook is the people. It has 2 billion people on the platform. That means it deleted 1 bot account for every two real users. Bots creating millions of additional users devalue the humans on the network. That is why they deleted them. So I am ok with bots, but I don't like confusing statics that mislead.