Sounds right. Still, say BU chooses ABC, and a BU miner adds a transaction that ABC clients reject? I now believe such a setting would lead to 3 blockchains.