3 ms·

In this blog article from 2021, I warn about making this change without appropriate care, as it has been a source of common bugs: https://danverbraganza.com/wri

• jonsen 2y ago
  > At every place X in the following expression, introduce a boolean negation if there isn’t one (or, equivanently remove one if there is), and I think it should read: At every place X in the following expression, introduce a boolean negation if there isn’t one and remove one if there is, and Maybe even better: At every place X in the following expression, introduce a boolean negation. If you get two concecutive NOT's, they can be removed. Next, I don't see how timespent <= duration is the negation of duration > time_spent ?