inc(X, Y, Alg).