Os autores, alguns de estado civil casados, outros solteiros, alguns desquitados, viúvos, um aposentado, residentes na cidade do Rio de Janeiro, todos funcionários públicos do Distrito Federal, entraram com um mandado de segurança contra o réu, para receberem os seus vencimentos de funcionários públicos do Distrito Federal, independente da Declaração de Renda, não ficando sujeitos ao imposto de renda, pois o tributo que se pretende cobrar é inconstitucional, não sendo exigido dos funcionários estaduais e municipais como ressalta a ação. Os autos mostram-se inconclusos já que lhes falta a sentença