Fixed empty set and bad ending predicate.