>+:- type det_comparison ---> tighter ; sameas ; looser. It might be better to use a "generic" comparison type in cases like this, rather than invent a new one every time. It would be nice to have subtypes so both partial and total orders could use the same type. lee