אבל נראה לי שכשם שבמלחמה ההיא אז, לפני 50 שנה, השם שהתקבע אצלנו נקרא על שם היום הקדוש שדווקא בו בחרו אויבינו לממש את שאיפתם לנסות להשמיד, כך שמה של המלחמה הנוכחית ייקבע בתור "מלחמת שמחת תורה".