1{p(a), q(a)}1.
p(a).
