Comment by tmp10423288442

> It turns out explaining concepts while leaving little room for different interpretation is hard.

This pops up as one of the annoying aspects of LLM writing, at least for coding models. They are always saying things like "this test only establishes this, not that." Much of the time, what they say is either obvious, or you get to thinking "maybe the test should establish the other thing as well."