if there is any chance of substantially weakening HAMAS then Israel should push on - Israel made the mistake with the PLO of not exterminating it - after all the current tragedies if there's a chance to annihilate Hamas then it would make sense to do so...
