MASHdoc_SA said:The useful move here is to separate what is established from what is widely repeated.
That is right, and it stops being right at the edges. The general case is well behaved; the interesting cases in this thread are all at the boundary where the general case breaks.
Correct me if the detail matters more than I have assumed.