 Severely wounded in that school shooting, which, of course, the shooter was Nicholas Cruz, somewhat recently in the last couple of years sentenced to prison. He has been given the rights to his attacker's name as part of a civil settlement. Yeah.