I am missing the predicate functions \toks_if_eq_p:.. in l3toks. Somethings like: \def_new:NNn \toks_if_eq_p:NN 2 { \tlist_if_eq_p:xx {\toks_use:N #1} {\toks_use:N #2} } \def_new:Npn \toks_if_eq_p:cN {\exp_args:Nc \toks_if_eq_p:NN} \def_new:Npn \toks_if_eq_p:Nc {\exp_args:NNc \toks_if_eq_p:NN} \def_new:Npn \toks_if_eq_p:cc {\exp_args:Ncc \toks_if_eq_p:NN} I think they should not be missing, especially since all predicate functions of \tlp_if_eq_p:.. and \tlist_if_eq_p:.. exist. Ciao Andreas