Regarding HSA contributions, are contributions by payroll deduction the same as personal contributions?