Marcel D comments on A formalization of negelectness