It's more than just strings though, it's all lists on a set of atoms. (a b c) is treated differently from (a (b c)).

EDIT: Actually you're right, it's all strings on X. I thought the author wanted all lists on X.