Step 1 in figuring out how to get an outcome which is Not That is to look at the list of nice properties which the CoCo solution uniquely fulfills, and figure out which one to break.
It seems to me that, ideally, one would like to be able to identify in advance which axioms one doesn’t actually want/need, before encountering a motive to go looking for things to cut.
It seems to me that, ideally, one would like to be able to identify in advance which axioms one doesn’t actually want/need, before encountering a motive to go looking for things to cut.