%% infinite recursion.
p :- p.