thereexists should work on empty iterable