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: Mostrar os nomes de todas as empresas que implementaram tecnologias da indústria 4.0 e têm um forte foco no desenvolvimento da força de trabalho.
 ###Tabelas: 
CREATE TABLE companies (id INT, name TEXT, country TEXT, industry TEXT, industry_4_0 BOOLEAN, workforce_development BOOLEAN); INSERT INTO companies (id, name, country, industry, industry_4_0, workforce_development) VALUES (1, 'ABC Corp', 'Germany', 'Manufacturing', TRUE, TRUE), (2, 'DEF Corp', 'France', 'Manufacturing', FALSE, TRUE), (3, 'GHI Corp', 'Germany', 'Manufacturing', TRUE, FALSE);
SELECT name FROM companies WHERE industry_4_0 = TRUE AND workforce_development = TRUE;