Delete Convert to CNF.lsp