The predicate is applied to the elements with index 0 of the sequences, then possibly to those with index 1, and so on. some returns the first non-() value encountered, or () if the end of a sequence is reached.