That’s a consistent and reasonable take. Mob violence can be unpredictable and harmful to its own causes. I’m certainly willing to call it murder myself, while also being glad for it. And I condemn going after the person who called in the tip, for many reasons, but succinctly - that person cannot possibly bear enough responsibility for the state of things, even acknowledging the actions they sure didn’t have to take, to be an appropriate target of anything like what happened to Brian Thompson.