a second derivation that shares nothing
When one route establishes something, the obvious next question is whether to believe it. The answer here was to establish it again from a direction that shares no machinery with the first: a separate derivation, run separately, recorded as…