BrianTan comments on A formalization of negelectness

[BrianTan]

I had to Google if negelectness was a real word, and it took me a while to realize you meant neglectedness. It would be good if you renamed the title and the first line to say neglectedness instead of negelectness.

[Nathan_Barnard]

Thanks :)