Step one towards CNF