Nope, but it’s fairly understood. Exhibit A: The candidates for POTUS.
Besides, whenever anyone objects to lavish, unsustainable pension blowouts/spiking/etc, they just moan and wail about how we want to rip off our selfless, underpaid public servants.
