a.
not b :- a.