not is equivalent to 0=