includes(P, X, Alg).
includes(P, X, Alg).