p(s(X)).