not (ok == ok)
