hi again, in my previous post about the functional dependency bug, i accidentally posted the file with the instances for "C" swapped. so the example in the bug report is *not* accepted by Hugs, but if the two lines are swapped, it is accepted. sorry about that. bye iavor