Change (not (= ...)) to (/= ...)