One of the things you do when you wage war is declare war.