Determinada secretaria de fazenda adota um sistema de controle e arrecadação que tem as seguintes relações:

• CONTRIBUINTE(CPF_CNPJ, Nome_RazaoSocial, 
  Endereco, InscricaoEstadual);
• TRIBUTO(CodigoTributo, NomeTributo, AliquotaBase);
• LANCAMENTO_FISCAL(IDLancamento, 
  DataVencimento, ValorDevido, CPF_CNPJ, 
  CodigoTributo).

Um agente fazendário de TI da referida secretaria deseja obter, em álgebra relacional, o nome e o valor devido de todos os contribuintes que possuem lançamentos fiscais referentes ao tributo denominado ICMS. Para tal fim, serão utilizadas as operações de seleção (σ), projeção (π) e junção (⨝). Sabe-se que a aplicação precoce de seleções é uma forma de otimização da consulta.

A partir das informações da situação precedente e considerando que a ordem de execução das operações está indicada explicitamente pelos parênteses, assinale a opção que representa corretamente a expressão, em álgebra relacional, cujo resultado será o desejado pelo agente fazendário.