Re:Magnus Carlsen retains title after winning lopsided match
by semi-extrinsic on Saturday December 11, 2021 @09:43AM
(#29521185)
Yeah, you are absolutely right, this is why I put it in scare quotes. (I felt that this distinction, though important, was not relevant to the point I was making.)
I understand what you mean though, so fair enough. But I think it's generally only worth being nitpicky about definitions if it's important to maintain them and I think in this case formally solved is one of the important ones.