Aaron Gertler 🔸 comments on A formalization of negelectness