Op
Logically: all(pred) == !(exists(!pred)) but what about when the set is empty? 1) by definition, true 2) maybe user would want false?
all(pred) == !(exists(!pred))