Notes on conversion to CNF.