... is being brought back from conditional logic. From my understanding "All ... 1 sufficient condition indicator in conditional logic. So for example ... = (J --> F) and to negate we take the contrapositive (/F ... told to take "ALL" and negate it using "some not" ...