% P1:
p(X) :- p(X).                  % C11