not (false && ok)
