not(x) => (not(x))