> On 20 July 2017 at 16:24, David Fetter <david@fetter.org> wrote: > > If we can agree to a definition, we can make this go. My vague > memories from graph theory indicate that that "agree to a definition" > part is the real problem to be solved.
I tried to embody some relevant thoughts in this thread [1], I think it would be great if