The predicate is applied to the elements with index 0 of the sequences, then possibly to those with index 1, and so on. notevery returns t as soon as any invocation of predicate returns (), or () if every invocation is non-().