Will Iran officially join the war in 2023?

This market will resolve to "Yes" if Iran officially declares war on Israel by December 31, 2023 11:59 PM ET. Declarations of war must be clear, and explicit. The market will resolve to "No" if no such official declaration of war is made by the specified date. Note that Israel or Hamas declaring war is not considered for this market. Further note if e.g. Hezbollah declared war, it will not satisfy a “Yes” resolution - only Iran itself declaring war will suffice.