Nathan_Barnard comments on A formalization of negelectness