Test forall with empty set