:- s.

p(a).