all(X,p(X))==all(X,q(X)).