() :- q(a).