Title: Personal deduction in an ideal income tax