not (true != ok)
