Fair, but given that we're talking about a hypothetical government program, "index-based retirement fund" doesn't imply you're the only one contributing to said fund.