f(X, X).
halt.