Amidst all the hoopla about the ceasefire that came into effect overnight, one minor detail was ignored:

At 9 pm this evening Israel time, a ceasefire between Israel and the Palestinian terror groups of Gaza came into effect. At 9.34, a rocket fired from Gaza exploded outside the southern Israel town of Shaar Hanegev, causing no injuries. By 10.01, 12 rockets had been fired into Israel. The Times of Israel reports:

When does a ceasefire involve one side not ceasing the fire?

Full story from Melanie Phillips.