; and (B) specify the date on which the Armed Forces were introduced into hostilities. (2) If the court in an action described in subsection (a) finds that section 2 or section 5(b) of this joint resolution has been violated, the court shall direct the President to remove the Armed Forces from the hostilities. The Armed Forces shall be removed pursuant to the court’s order— (A) immediately; or (B) if the President determines and certifies to the Congress in writing that unavoidable military necessity respecting the safety of the Armed Forces requires the continued use of the Armed Forces in the course of bringing about their prompt removal from hostilities, within a period not to exceed 30 days after the order is issued. (f) Appeals Any judgment in an action described in subsection (a) shall be directly appealable to the United States Supreme Court. 8. Rules of interpretation (a) Other statutes and treaties Authority to introduce the Armed Forces into hostilities shall not be inferred— (1) from any provision of law (including any provision in effect before the date of enactment of this joint resolution), including any provision contained in any appropriation Act, unless that provision specifically authorizes the introduction of the Armed Forces into hostilities and states that it is intended to constitute specific statutory authorization within the meaning of this joint resolution; or (2) from any treaty heretofore or hereafter ratified unless that treaty is implemented by legislation specifically authorizing the introduction of the Armed Forces into hostilities and stating that it is intended to constitute specific statutory authorization within the meaning of this joint resolution. (b) Congressional action or inaction The failure of the Congress to adopt a measure— (1) terminating, limiting, or prohibiting the involvement of the Armed Forces in hostilities