:- q(a).