TL;DR: If we can't prove that bot is a bot, let's give bot owners what they want - a convenient bot market and bot management tools. This way we will know the number of bots and their cost.