not (ok || ok)
