Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Excluir o contrato inteligente 'SmartContract4' desenvolvido pelo desenvolvedor com id 4.
 ###Tabelas: 
CREATE TABLE developers (id INT PRIMARY KEY, name VARCHAR(50), country VARCHAR(50), experience INT); INSERT INTO developers (id, name, country, experience) VALUES (1, 'Alice', 'USA', 5); INSERT INTO developers (id, name, country, experience) VALUES (2, 'Bob', 'China', 7); INSERT INTO developers (id, name, country, experience) VALUES (3, 'Kavita', 'India', 6); INSERT INTO smart_contracts (id, name, developer_id, language) VALUES (4, 'SmartContract4', 4, 'Vyper');
DELETE FROM smart_contracts WHERE name = 'SmartContract4' AND developer_id IN (SELECT id FROM developers WHERE name = 'Kavita');