fix

not a==b is the same as (not a)==b