Sequence predicates