1: a :- b. i: :- not a.