 And had he not been emotionally well, likely he would have stayed there. So good news on many levels there. We were told very quickly, very early on, that the former president is fine, and it certainly looks that way right now. So the shooter is dead.