 Anything on government history seemed to know about, but it was nothing out of the ordinary. He was always nice and well-liked by teachers. Quiet is what they said. Look, we also heard yesterday that the family did have Trump signs out on the yard. I didn't hear that. So there's that. He was a registered Republican. Yes.