Os suplicantes, inativos, impetraram um mandado de segurança, de acordo com a Lei n° 1533 de 1951 e na Constituição Federal, artigo 141. Estes alegaram que o réu estava efetuando descontos sobre os seus proventos e não realizaram o pagamento dos benefícios e abono, conforme o princípio de igualdade. O juiz concedeu a segurança. Houve agravo ao Tribunal Federal de Recursos, que não deu provimento. Houve recurso ao Supremo Tribunal Federal, que deu provimento.