Use cnf=True instead of dnf=False