Howsagoin, I've started exploring the LaTeX3 sources documentation but I couldn't find the equivalent of the following predicate functions for token lists: o \tl_all_TF:NNTF <token list> <predicate> <true> <false> results in <true> if all members of <token list> satisfy <predicate>. The semantics should be that the evaluation is start-to-finish of <token list> but that the evaluation is aborted as soon as one of the tokens in <token list> doesn't satisfy <predicate>. o \tl_some_TF:NNTF <token list> <predicate> <true> <false> results in <true> if some member of <token list> satisfies <predicate>. The semantics should be that the evaluation is start-to-finish of <token list> but that the evaluation is aborted as soon as one of the tokens in <token list> satisfies <predicate>. Similar versions may also be useful for other kinds of lists. Are such macros defined? If not, do you think it's a good idea to introduce them? Regards, Marc van Dongen