Os impetrantes, estado civil casado, profissão; engenheiro civil, funcionários do SENAC, impetraram mandado de segurança contra ato da impetrada, que indeferiu o pedido dos impetrantes de serem contribuintes do IAPC; o juiz Jônatas de Matos negou a segurança; a parte autora agravou ao TFR, que deu provimento; a parte ré recorreu ao STF, que negou provimento