I think I mostly figured out this sequence wasn’t going to accomplish the implicit goal I had at the time (which was “get some particular people to stop being annoying, by highlighting to multiple they were bickering with or dismissing were approaching a different part of the coordination frontier from a different angle”).
Also, a lot of the answer to the problem here was more like “factor problems into spaces such that it doesn’t matter if people disagree”, which is a good answer but like, doesn’t really need the theory the sequence was trying to build towards.
I think I mostly figured out this sequence wasn’t going to accomplish the implicit goal I had at the time (which was “get some particular people to stop being annoying, by highlighting to multiple they were bickering with or dismissing were approaching a different part of the coordination frontier from a different angle”).
Also, a lot of the answer to the problem here was more like “factor problems into spaces such that it doesn’t matter if people disagree”, which is a good answer but like, doesn’t really need the theory the sequence was trying to build towards.