Harrison Durland comments on A formalization of negelectness