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