Doesn't matter. People should actually read the Twitter filing. Could be closer to 50% and it wouldn't be enough for Musk to back out. Also, the word bot can have many definitions. A company using an app to schedule tweets could be considered a bot.