I was a teacher, once. From my perspective ... teachers know who are the students and scholars, and who are the nasty little $#!+$ that shouldn't be wasting time and space in school. Dropping the hammer on one of those little rotters wouldn't be a problem at all. This piece of human debris in Florida was a known problem. Dropping him would not be a problem.
Yep!!