Today's strikes by the Egyptian army shows that national security trumps jihadist extremists, which is progress

MICHAEL BURLEIGH: Since the 1979 peace treaty between Egypt and Israel, the Sinai peninsula - which abuts onto the Gaza Strip in the north - has been Egyptian territory, but demilitarised by both sides.