Er, that's not a good example. That didn't actually happen. That's what should of happened, but didn't, possibly because the Westroads Mall is a designated "Gun Free zone". Or it was; apparently the signs were removed soon after the shooting and I can't find any information about what happened since. Whether the mall is actually seeking to revise its policy in light of the fact that their previous rule obviously didn't protect anyone or if they just temporarily removed the signs to avoid embarassment isn't clear.