extra zooi voor CNF conversie toegevoegd