kind of disappointed that 401(k) comes from the relevant section of the tax code instead of being short for "$401,000 of free money"