e intended merely as explorations
of certain dimensions of variation in the neighborhood of
a trivial "change of variables" formula, analogous to the
lambda calculus "alpha rule", I think, never had much to
do with the analysis of any relation, since they do not
bear on the structure of any sets, per se, but only on
the structures of single tuples.

Once again, the initial example said only this:

|   L(x) iff L(y) for some y = x.

Equivalently, here are two other ways to say it:

|   L(x) iff there exists 