Os suplicantes impetraram mandado de segurança contra o Instituto Nacional de Previdência Social por pagar-lhes seus provimentos calculando de forma errada o abono que deve ser acrescentado ao valor dos provimentos; o mandado passou por agravo no TFR e por recurso extraordinário no STF; o juiz concedeu a segurança impetrada e recorreu de ofício junto ao TFR, onde negou-se provimento ao recurso e foi tentado a interposição de um recurso extraordinário também negado; já no Supremo, os ministros acordaram em conhecer do recurso e dar-lhe provimento