Comments
A formalization of negelectness — EA Forum