even more predicate-inclusion vectors