The formal withdrawal of a state from the Union is known as