Hmm, I really don't think I understand your code well enough to do this properly. I'm trying to implement a reified A < B < C operator, but I'm really lost. Malcolm