"assume now that A is a newly formed loose federation of two states, B and C, each of which retains substantial sovereignty." . . . . .