… and a huge loss for Islamists and other antisemites