Contributing beyond employer match up to the $23,500 limit. Pre-tax vs Roth 401k. When maxing out beats other uses of the same dollars.