A implicação lógica é que, como aposentados não trabalham, a Previdência Social deveria ser de $0.