eq(X, X).