not (ok and false)
