add CNF in docstrings