If Iran invaded Israel, it’s up to Congress to declare war.