I think the execution requirement should apply to them, too. Regardless, just because they want to separate doesn't mean they can take the land with them. And they will have to take on their percentage of the national debt, of course.