x_1, ..., x_k) holds
if and only if all x_j, for j = 1 to k, are identical.  So predicate calculus
contains a k-identity predicate for all such k.  So whether &quot;they're in there&quot;
is not an issue.  The question is whether these or any other predicates can be
constructed or defined in terms of 2-adic relations alone.  And the answer is
that they cannot.  The reasons for the misconception otherwise appear to be
about as various a virus as the common cold, and about as resistant to cure.
I have taken t