Each of the following exercises gives a passage from the U.S. Constitution, followed by another statement. (a) Translate the passage from the constitution into a statement in symbolic logic. (b) Find a valid conclusion using a premises the passage from the Constitution and the statement that follows it. (c) Illustrate the argument with an Euler diagram.

No State shall enter into any treaty, alliance, or confederation.

Texas is a state.