Conversion to CNF contd.