More on public industrial policy coming soon.