Whle these are "consequences" of DeMorgan's laws, they are written in the logical predicate format And you can bet a lot of node developers will get tripped up

Whle these are "consequences" of DeMorgan's laws, they are written in the logical predicate format And you can bet a lot of node developers will get tripped up by those if they need to simplfy or rewrite an if statement It's "obvious" but not so much (especially for the time), and shows the importance of publishing (formalizing and adding your name) to things that might be obvious but maybe not