not (ok and true)
