!(ok and ok)
