 They do. Thank you for the call. Appreciate it, Kevin. Another person called in just before top of the hour, and it's a good point to make, and I just want to say this, because it's been reported that the gunman was a registered Republican, registered as a Republican as soon as he turned 18 years old. They made the point that maybe he registered as a Republican so he could vote in a closed primary.