Compete privativamente à autoridade administrativa constituir o crédito tributário pelo lançamento, assim, entendido o procedimento administrativo tendente a verificar a ocorrência do fato gerador da obrigação correspondente, determinar a matéria tributável, calcular o montante do tributo devido, identificar o sujeito passivo e, sendo caso, propor a aplicação da penalidade cabível. (artigo 142 do Código Tributário Nacional). Uma das modalidades de lançamento tributário se dá quando a lei determina. Assinale a alternativa correta que corresponda a essa modalidade: