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

[Vladimir_Nesov]

True, didn’t notice that. I still feel there must be a workaround.