working on conversion to CNF