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: Quais agentes comunitários de saúde estão atendendo pacientes com transtornos de saúde mental no Texas?
 ###Tabelas: 
CREATE TABLE community_health_workers (worker_id INT, worker_name TEXT, state TEXT); INSERT INTO community_health_workers (worker_id, worker_name, state) VALUES (1, 'Ana', 'Texas'), (2, 'Ben', 'California'); CREATE TABLE mental_health_patients (patient_id INT, worker_id INT, diagnosis TEXT); INSERT INTO mental_health_patients (patient_id, worker_id, diagnosis) VALUES (101, 1, 'Anxiety'), (102, 1, 'Depression'), (201, NULL, 'Bipolar');
SELECT DISTINCT c.worker_name FROM community_health_workers c JOIN mental_health_patients m ON c.worker_id = m.worker_id WHERE c.state = 'Texas' AND m.diagnosis IS NOT NULL;