> It is a match, if you don't contribute, there is no match.
That choice should be left to the employee.
Why are you upset with how the employee is choosing to do with their retirement?
The main argument for defined benefit pensions is that while they never covered most employees, they did represent money that people got in retirement without doing anything and which "society" would otherwise have been on the hook for to some degree.
Years later I got a mortgage and learned what compound interest is.
I'd been underfunding for most of my career. You overestimate collective intelligence.