not (true and ok)
