Are the bot names random? This one was interesting…