I think I'm being more pragmatic and immediately jumping to what needs to change to make this situation treatable. An abstract statement of a problem like this is probably great for teaching people concepts about consensus, but hopefully no one knowingly designs stuff that way (except Mongo perhaps)