not (true && ok)
