By federal gun law, the south Texas shooter, Devin Patrick Kelley, who was dishonorably discharged from the military by court martial, thereby should not have owned a firearm, so whether his name was in the database as a forbidden buyer is a big question, and if the gun was not illegally purchased, how it was obtained the question, either way, illegally gotten.
