Vladimir_Nesov comments on What a reduction of “could” could look like

[Vladimir_Nesov]

I won’t settle the choice, only point out the generality of notion and how it applies, direction to look for further refinements.