all(X,'$true$' and p(X)).