p(a).
p(b).