For me, it has to be CNF as well.