a :- not a.