"A teacher would have shot the hell out of him before he knew what happened,"

But, as Bloomberg reports, The White House is considering the idea of using restraining orders to take firearms away from people considered "dangerous" as part of its response to last week's massacre at a Florida high school, two people familiar with the matter said.

Under extreme risk protection orders, which are also known as red flag laws or gun violence restraining orders, firearms can be confiscated from people found to be at risk.

As The New Yorks Times reports, it is difficult to measure the effectiveness of red flag laws, in part because it is impossible to count mass shootings, or other tragedies, that were avoided.

That said, the authorities in states with the laws, including Connecticut, Indiana, Oregon and Washington, say they have seen patterns: upticks in the use of such laws after mass shootings in other places.