And it makes no mention of the lack of a right for a state to withdraw. Anything not directly mentioned in a contract or other legal document is open to interpretation. Open to interpretation requires arbitration, in this case at the point of gun. So what you're saying is might makes right.