Provides an income tax deduction for tips received by tipped employees.