. . "But it turns out that particular claim is wrong.DeletepcApril 19, 2014 at 12:32 PMRegarding < quote > The user see that J holds the tuples for which J(S,N) S is a supplier AND S is a supplier named N ie S is a supplier named N.So the user knows that S is a supplier" . . .