 They said after these rockets went into Israel, no one was injured and there was no damage, but it was the biggest barrage that there's been coming from Gaza into Israel since January. So this was quite a big deal as far as Israel was concerned. The Israeli army made it very clear that this is in response to that. So I think the question of what the Israeli army does is whether what it did overnight...