dnnf.lits