added documentation for not and exit.