I agree with all you said but if there’s a hard fork, the miners can choose the coin they mine, the nodes can choose which software they run but the holders cannot choose the coin they own unless they’ve run their own node. Have I got that right?