⁸As explained above, the elements extracted from each predicate are multi-sets, that is, sets that accept repeated elements.