# KB has no WFM

-a | -b.

a :- not b.
b :- not a.