 They initially were very happy. But I think at this point, I think they would prefer, obviously, a Republican. I think they would prefer anybody. It's not that he's bad for Israel. Listen, I'm not a political analyst by any stretch of the imagination. So please, I'm not positioning myself as one. But I will say that the Republicans have seemed to be much more...