not (ok != ok)
