not (ok or ok)
