10/10 love it. I have been looking for something like this for so long.

Why is the negation of all not none? ->In formal logic, the negation of a statement is defined as the weakest possible claim that contradicts the original statement. It is the "minimum requirement" to prove the original statement false.