not (ok and ok)
