Where’s the legal declaration of war, precisely?