 I don't think so, only because of the trajectory. The guy was aiming for a kill shot, so he was aiming for Trump's head. So whether or not there was somebody under the bleachers, we haven't heard anything about that. And we do know that at least two other people were critically injured. We do not know the extent of their injuries, but we understand, at least for one of them, it will be a life-changing event.