Dentreoutros suplicantes, Hernani Lopes da Costa Braga, nacionalidade brasileira, estado civil casado, profissão engenheiro civil, residente à Rua Redentor, 52, impetrou mandado de segurança contra a delegacia regional do imposto de renda, por cobrar o pagamento do imposto sobre lucro imobiliário incidindo no trâmite da compra e venda do imóvel situado à Rua Sebastião de Lacerda, 64. Tal cobrança é ilegal por não existir uma prévia autorização que permita a cobrança. Juntamente com o imposto supracitado, a autoridade coatora promoveu o recolhimento do empréstimo compulsório, igualmente ilegal. O mandado passou por agravo no Tribunal Federal de Recursos. Segurança concedida. O juiz Sérgio Mariano recorreu de ofício. União Federal agravou. O TFR deu provimento