Aaron Gertler ๐Ÿ”ธ comments on A formalization of negelectness