Nathan_Barnard comments on A formalization of negelectness

[Nathan_Barnard]

Yeah I wrote it in google docs and then couldn’t figure out how to transfer the del and suffixes to the forum.