A implicação lógica é que, como os aposentados não trabalham, a Segurança Social deveria ser $0.