[deleted] comments on A formalization of negelectness