 I mean, many of the leaders of Hamas know that this is a situation which they're in. And Hamas has already devolved, so evolved in the last nine months from a much more well-organized military organization into a guerrilla organization. So I'm not sure that if Def is indeed dead. And it does seem that there's a good chance that he was killed yesterday. I don't think it's going to change anything.