ADDED: Powerset predicate.