OK, I now understand maybe what is going on. I just assumed that you (the programmer) know when you have a difference list. And you are probably doing more complicated things, where you actually want to take a pair of variables and determine whether they form a difference list? This now finally makes sense. I re-read the other thread more carefully, this is all discussed there apparently.