Factor out "not"