Tax - How to determine whether what ED deduction (or credit) to use?