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