“…In a data word, at each index, there is a letter from a finite alphabet Σ, and an element of an infinite domain D. As in [14,26,21,7,4,8,17], elements of D can only be compared for equality, so it is equivalent and simpler to define a data word as a word over Σ equipped with an equivalence relation on its indices: i ∼ j iff the elements of D at indices i and j are equal. In common with [7,4], we take this latter approach.…”